home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / ai.prl / opnprlg1.hqx / Open Prolog / Samples / Tak < prev    next >
Text File  |  1993-02-04  |  170b  |  11 lines
  1. tak(A,B,C,C) :- 
  2.    A=<B,!.
  3. tak(A,B,C,D) :- 
  4.    tak1(A,B,C,E),!,
  5.    tak1(B,C,A,F),!,
  6.    tak1(C,A,B,G),!,
  7.    tak(E,F,G,D).
  8. tak1(A,B,C,D) :- 
  9.    E is A-1,
  10.    tak(E,B,C,D).
  11.